Specification testing

Teaching Specification-Based Testing

Historically, relatively less emphasis has been placed on software testing in comparison with other activities, such as systems analysis and design, of the software life cycle in an undergraduate computer science or software engineering curriculum. Testing, however, is a common and important technique used to detect program faults. Thus, testing must be taught rigorously to the students. This p...

Specification Centered Testing

This position paper discusses a framework for automating the testing of systems with stringent structural coverage requirements, for example, avionics systems. The framework covers testing of the model of the desired behavior as well as the resulting implementation. We use a formal model of the required software behavior as the central component of our testing strategy; we call this approach sp...

Specification for Testing

The success of model-based testing, in automating the testing of an implementation given its state-based (or model-based) specification, raises the question of how best the specification can be tweaked in order to facilitate that process. This paper discusses several answers. Motivated by an example from webbased systems, and taking account of the restriction imposed by the testing interface, i...

Testing Specification Plan

When Specification-based Testing Fails

Armando Haeberer made a substantial contribution in translating results from the philosophy of science to software testing. He showed that the limits of the standard methodology of confirming theories, where observations are derived from the theory and hypothesis, are also present in software testing. He strongly criticized Gaudel’s classical approach on test case generation, but also supplied ...